EXTRA_DIST = $(srcdir)/aadl_project.aadl \
	$(srcdir)/aadl_properties.aadl \
	$(srcdir)/arao.aadl \
	$(srcdir)/leon_characteristics.aadl \
	$(srcdir)/native_characteristics.aadl \
	$(srcdir)/user_defined.psc
